Skip to content

Latest commit

 

History

History

test

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
boolector
boolector
 
 
debug
debug
 
 
oram
oram
 
 
parser/command-response
parser/command-response
 
 
pipelines
pipelines
 
 
ConcSW_ISR.ucl
ConcSW_ISR.ucl
 
 
README.txt
README.txt
 
 
array-update-2.ucl
array-update-2.ucl
 
 
array-update.ucl
array-update.ucl
 
 
havoc_ordering.ucl
havoc_ordering.ucl
 
 
induction-pre-control-1.ucl
induction-pre-control-1.ucl
 
 
induction-pre-control-2.ucl
induction-pre-control-2.ucl
 
 
induction-pre-control-3.ucl
induction-pre-control-3.ucl
 
 
induction-pre-control-4.ucl
induction-pre-control-4.ucl
 
 
induction-pre-control-5.ucl
induction-pre-control-5.ucl
 
 
induction-pre-control-6.ucl
induction-pre-control-6.ucl
 
 
inputerror.ucl
inputerror.ucl
 
 
issue-187a.ucl
issue-187a.ucl
 
 
issue-187b.ucl
issue-187b.ucl
 
 
issue-253.ucl
issue-253.ucl
 
 
issue-255.ucl
issue-255.ucl
 
 
longcomment.ucl
longcomment.ucl
 
 
ltl-eventually-1.ucl
ltl-eventually-1.ucl
 
 
ltl-toy-0.ucl
ltl-toy-0.ucl
 
 
ltl-toy-1.ucl
ltl-toy-1.ucl
 
 
module_assump_1.ucl
module_assump_1.ucl
 
 
nested_instances.ucl
nested_instances.ucl
 
 
old-test-float.ucl
old-test-float.ucl
 
 
parser_error_1.ucl
parser_error_1.ucl
 
 
parser_error_2.ucl
parser_error_2.ucl
 
 
parser_error_3.ucl
parser_error_3.ucl
 
 
parser_error_4.ucl
parser_error_4.ucl
 
 
parser_error_5.ucl
parser_error_5.ucl
 
 
parser_error_6.ucl
parser_error_6.ucl
 
 
proc_ensures_1.ucl
proc_ensures_1.ucl
 
 
proc_ensures_2.ucl
proc_ensures_2.ucl
 
 
proc_precond_1.ucl
proc_precond_1.ucl
 
 
proc_requires_1.ucl
proc_requires_1.ucl
 
 
proc_requires_2.ucl
proc_requires_2.ucl
 
 
proc_requires_3.ucl
proc_requires_3.ucl
 
 
queue-ltl.ucl
queue-ltl.ucl
 
 
record-array.ucl
record-array.ucl
 
 
recorderror.ucl
recorderror.ucl
 
 
sp-basic.ucl
sp-basic.ucl
 
 
syntax-error-input-assign-1.ucl
syntax-error-input-assign-1.ucl
 
 
syntax-error-input-assign-2.ucl
syntax-error-input-assign-2.ucl
 
 
test-adt-0.ucl
test-adt-0.ucl
 
 
test-adt-1.ucl
test-adt-1.ucl
 
 
test-adt-10-badconstructing.ucl
test-adt-10-badconstructing.ucl
 
 
test-adt-11-badconstructing.ucl
test-adt-11-badconstructing.ucl
 
 
test-adt-12-badselecting.ucl
test-adt-12-badselecting.ucl
 
 
test-adt-13-badselecting.ucl
test-adt-13-badselecting.ucl
 
 
test-adt-14-goodselecting.ucl
test-adt-14-goodselecting.ucl
 
 
test-adt-15-multiplemodules.ucl
test-adt-15-multiplemodules.ucl
 
 
test-adt-16-multiplemodules.ucl
test-adt-16-multiplemodules.ucl
 
 
test-adt-17-procedures.ucl
test-adt-17-procedures.ucl
 
 
test-adt-18.ucl
test-adt-18.ucl
 
 
test-adt-19.ucl
test-adt-19.ucl
 
 
test-adt-2.ucl
test-adt-2.ucl
 
 
test-adt-20.ucl
test-adt-20.ucl
 
 
test-adt-21.ucl
test-adt-21.ucl
 
 
test-adt-22.ucl
test-adt-22.ucl
 
 
test-adt-23-datatypegeneration.ucl
test-adt-23-datatypegeneration.ucl
 
 
test-adt-24.ucl
test-adt-24.ucl
 
 
test-adt-25.ucl
test-adt-25.ucl
 
 
test-adt-26-goodconstructionordering.ucl
test-adt-26-goodconstructionordering.ucl
 
 
test-adt-27-badconstructionordering.ucl
test-adt-27-badconstructionordering.ucl
 
 
test-adt-28-fieldreuse.ucl
test-adt-28-fieldreuse.ucl
 
 
test-adt-3.ucl
test-adt-3.ucl
 
 
test-adt-4.ucl
test-adt-4.ucl
 
 
test-adt-5-reusingdatatypename.ucl
test-adt-5-reusingdatatypename.ucl
 
 
test-adt-6-reusingselectorname.ucl
test-adt-6-reusingselectorname.ucl
 
 
test-adt-7-testingacyclicality.ucl
test-adt-7-testingacyclicality.ucl
 
 
test-adt-8-testingacyclicality.ucl
test-adt-8-testingacyclicality.ucl
 
 
test-adt-9-badconstructing.ucl
test-adt-9-badconstructing.ucl
 
 
test-array-0.ucl
test-array-0.ucl
 
 
test-array-1-unsafe.ucl
test-array-1-unsafe.ucl
 
 
test-array-1.ucl
test-array-1.ucl
 
 
test-array-2.ucl
test-array-2.ucl
 
 
test-array-new.ucl
test-array-new.ucl
 
 
test-array-record-1.ucl
test-array-record-1.ucl
 
 
test-array-record.ucl
test-array-record.ucl
 
 
test-array-update.ucl
test-array-update.ucl
 
 
test-assert-1.ucl
test-assert-1.ucl
 
 
test-assert-2.ucl
test-assert-2.ucl
 
 
test-assert-3.ucl
test-assert-3.ucl
 
 
test-assert-4.ucl
test-assert-4.ucl
 
 
test-assert-5.ucl
test-assert-5.ucl
 
 
test-assume-1.ucl
test-assume-1.ucl
 
 
test-assume-primed-var.ucl
test-assume-primed-var.ucl
 
 
test-axiom-1.ucl
test-axiom-1.ucl
 
 
test-axiom-2.ucl
test-axiom-2.ucl
 
 
test-bit-concat.ucl
test-bit-concat.ucl
 
 
test-block-var-0.ucl
test-block-var-0.ucl
 
 
test-block-var-1.ucl
test-block-var-1.ucl
 
 
test-block-var-renaming-1.ucl
test-block-var-renaming-1.ucl
 
 
test-block-var.ucl
test-block-var.ucl
 
 
test-bmc-0.ucl
test-bmc-0.ucl
 
 
test-bmc-1.ucl
test-bmc-1.ucl
 
 
test-bmc-3.ucl
test-bmc-3.ucl
 
 

README.txt

This is a placeholder for a README file or other documentation of all the test cases and
the features they are testing.