unittest

package

v0.0.0-...-cd2353e Latest Latest Go to latest Published: Apr 27, 2021 License: MIT Imports: 5 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

Repository

github.com/RalfJung/goose

Links

Open Source Insights

Documentation ¶

Overview ¶

unittest is a package full of many independent and small translation examples

unittest has two package comments

Index ¶

Constants
func ArithmeticShifts(x uint32, y uint64) uint64
func AssignNilPointer()
func AssignNilSlice()
func AssignOps()
func BitwiseOps(x uint32, y uint64) uint64
func ComparePointerToNil() bool
func CompareSliceToNil() bool
func Comparison(x uint64, y uint64) bool
func DoNothing()
func DoSomeLocking(l *sync.Mutex)
func DoSomething(s string)
func ImplicitLoopContinue()
func IterateMapKeys(m map[uint64]uint64, sum *uint64)
func LogicalAndEqualityOperators(b1 bool, x uint64) bool
func LogicalOperators(b1 bool, b2 bool) bool
func MapSize(m map[uint64]bool) uint64
func MapTypeAliases(m1 map[IntWrapper]bool, m2 MapWrapper)
func PanicAtTheDisco()
func ReassignVars()
func ReplicatedDiskRecover()
func ReplicatedDiskWrite(a uint64, v Block)
func Skip()
func ToBeDebugged(x uint64) uint64
func TwoDiskLock(a uint64)
func TwoDiskUnlock(a uint64)
func TwoDiskWrite(diskId uint64, a uint64, v Block) bool
func UseAdd() uint64
func UseAddWithLiteral() uint64
type Block
- func ReplicatedDiskRead(a uint64) Block
- func TwoDiskRead(diskId uint64, a uint64) (Block, bool)
type Dec
- func (d *Dec) UInt32() uint32
- func (d *Dec) UInt64() uint64
type Enc
- func (e *Enc) UInt32(x uint32)
- func (e *Enc) UInt64(x uint64)
type IntWrapper
type MapWrapper
type Point
- func (c Point) Add(z uint64) uint64
- func (c Point) GetField() uint64
type S
- func NewS() *S
type SliceAlias
type Timestamp
type TwoInts
type UseNamedType
type UseTypeAbbrev

Constants ¶

View Source

const ConstWithAbbrevType also_u32 = 3

View Source

const ConstWithArith uint64 = 4 + 3*TypedInt

View Source

const Disk1 uint64 = 0

View Source

const Disk2 uint64 = 0

View Source

const DiskSize uint64 = 1000

View Source

const DivisionInConst uint64 = (4096 - 8) / 8

View Source

const GlobalConstant string = "foo"

View Source

const ModInConst uint64 = 513 + 12%8 // 517

View Source

const ModInConstParens uint64 = (513 + 12) % 8 // 5

View Source

const TypedInt uint64 = 32

View Source

const TypedInt32 uint32 = 3

View Source

const UntypedStringConstant = "bar" // an untyped string

Variables ¶

This section is empty.

Functions ¶

func ArithmeticShifts ¶

func ArithmeticShifts(x uint32, y uint64) uint64

func AssignNilPointer ¶

func AssignNilPointer()

func AssignNilSlice ¶

func AssignNilSlice()

func AssignOps ¶

func AssignOps()

func BitwiseOps ¶

func BitwiseOps(x uint32, y uint64) uint64

func ComparePointerToNil ¶

func ComparePointerToNil() bool

func CompareSliceToNil ¶

func CompareSliceToNil() bool

func Comparison ¶

func Comparison(x uint64, y uint64) bool

func DoNothing ¶

func DoNothing()

func DoSomeLocking ¶

func DoSomeLocking(l *sync.Mutex)

DoSomeLocking uses the entire lock API

func DoSomething ¶

func DoSomething(s string)

DoSomething is an impure function

func ImplicitLoopContinue ¶

func ImplicitLoopContinue()

func IterateMapKeys ¶

func IterateMapKeys(m map[uint64]uint64, sum *uint64)

func LogicalAndEqualityOperators ¶

func LogicalAndEqualityOperators(b1 bool, x uint64) bool

func LogicalOperators ¶

func LogicalOperators(b1 bool, b2 bool) bool

func MapSize ¶

func MapSize(m map[uint64]bool) uint64

func MapTypeAliases ¶

func MapTypeAliases(m1 map[IntWrapper]bool, m2 MapWrapper)

func PanicAtTheDisco ¶

func PanicAtTheDisco()

func ReassignVars ¶

func ReassignVars()

func ReplicatedDiskRecover ¶

func ReplicatedDiskRecover()

func ReplicatedDiskWrite ¶

func ReplicatedDiskWrite(a uint64, v Block)

func Skip ¶

func Skip()

Skip is a placeholder for some impure code

func ToBeDebugged ¶

func ToBeDebugged(x uint64) uint64

func TwoDiskLock ¶

func TwoDiskLock(a uint64)

TwoDiskLock is a dummy function to represent locking an address in the base layer

func TwoDiskUnlock ¶

func TwoDiskUnlock(a uint64)

TwoDiskUnlock is a dummy function to represent unlocking an address in the base layer

func TwoDiskWrite ¶

func TwoDiskWrite(diskId uint64, a uint64, v Block) bool

TwoDiskWrite is a dummy function to represent the base layer's disk write

func UseAdd ¶

func UseAdd() uint64

func UseAddWithLiteral ¶

func UseAddWithLiteral() uint64

Types ¶

type Block ¶

type Block struct {
	Value uint64
}

func ReplicatedDiskRead ¶

func ReplicatedDiskRead(a uint64) Block

func TwoDiskRead ¶

func TwoDiskRead(diskId uint64, a uint64) (Block, bool)

TwoDiskRead is a dummy function to represent the base layer's disk read

type Dec ¶

type Dec struct {
	// contains filtered or unexported fields
}

func (*Dec) UInt32 ¶

func (d *Dec) UInt32() uint32

func (*Dec) UInt64 ¶

func (d *Dec) UInt64() uint64

type Enc ¶

type Enc struct {
	// contains filtered or unexported fields
}

func (*Enc) UInt32 ¶

func (e *Enc) UInt32(x uint32)

func (*Enc) UInt64 ¶

func (e *Enc) UInt64(x uint64)

type IntWrapper ¶

type IntWrapper uint64

type MapWrapper ¶

type MapWrapper map[uint64]bool

type Point ¶

type Point struct {
	// contains filtered or unexported fields
}

func (Point) Add ¶

func (c Point) Add(z uint64) uint64

func (Point) GetField ¶

func (c Point) GetField() uint64

type S ¶

type S struct {
	// contains filtered or unexported fields
}

func NewS ¶

func NewS() *S

type SliceAlias ¶

type SliceAlias []bool

type Timestamp ¶

type Timestamp uint64

type TwoInts ¶

type TwoInts struct {
	// contains filtered or unexported fields
}

type UseNamedType ¶

type UseNamedType Timestamp

type UseTypeAbbrev ¶

type UseTypeAbbrev u64

Source Files ¶

View all Source files

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL