Dmitry Vyukov 27b03f4ba3 prog: generate shifted integers with some probability ...

Useful for bitfield-like integers.

2016-09-01 17:17:37 +02:00

..

analysis.go

sys: specify resources in text descriptions

2016-08-27 18:27:50 +02:00

clone.go

sys: add union type

2015-12-29 15:00:57 +01:00

encoding.go

sys: add union type

2015-12-29 15:00:57 +01:00

encodingexec.go

sys: add union type

2015-12-29 15:00:57 +01:00

generation.go

initial support for call priorities

2015-10-14 16:55:09 +02:00

mutation_test.go

prog: implement mutation of union args

2015-12-31 16:03:01 +01:00

mutation.go

overhaul syscall description generation process

2016-08-26 07:09:25 +02:00

parse_test.go

prog: fix parse test

2015-12-23 19:47:20 +01:00

parse.go

prog: factor out execution log parsing functionality

2015-12-23 19:18:13 +01:00

prio.go

sys: specify resources in text descriptions

2016-08-27 18:27:50 +02:00

prog_test.go

csource: new package

2015-12-23 13:38:31 +01:00

prog.go

sys: implement array byte size arguments

2016-01-23 00:37:08 +01:00

rand.go

prog: generate shifted integers with some probability

2016-09-01 17:17:37 +02:00

validation.go

sys: add union type

2015-12-29 15:00:57 +01:00