Index of /src/mv-prover-0.3.2/tests/sources/functional/
../
ModifiesErrorTest.exp 29-Nov-1973 21:33 4138
ModifiesErrorTest.move 29-Nov-1973 21:33 2448
ModifiesSchemaTest.exp 29-Nov-1973 21:33 1091
ModifiesSchemaTest.move 29-Nov-1973 21:33 821
ModifiesTest.move 29-Nov-1973 21:33 2043
ModifiesTypeTest.exp 29-Nov-1973 21:33 693
ModifiesTypeTest.move 29-Nov-1973 21:33 1054
aborts_if.exp 29-Nov-1973 21:33 6222
aborts_if.move 29-Nov-1973 21:33 4442
aborts_if_with_code.exp 29-Nov-1973 21:33 4189
aborts_if_with_code.move 29-Nov-1973 21:33 2935
aborts_with_check.move 29-Nov-1973 21:33 924
aborts_with_negative_check.move 29-Nov-1973 21:33 596
address_quant.exp 29-Nov-1973 21:33 786
address_quant.move 29-Nov-1973 21:33 1695
address_serialization_constant_size.exp 29-Nov-1973 21:33 972
address_serialization_constant_size.move 29-Nov-1973 21:33 1028
arithm.exp 29-Nov-1973 21:33 4334
arithm.move 29-Nov-1973 21:33 4754
axioms.move 29-Nov-1973 21:33 828
cast.exp 29-Nov-1973 21:33 1198
cast.move 29-Nov-1973 21:33 1022
choice.cvc5_exp 29-Nov-1973 21:33 8263
choice.exp 29-Nov-1973 21:33 7308
choice.move 29-Nov-1973 21:33 8995
choice.simplify_exp 29-Nov-1973 21:33 6634
conditional_write_back.move 29-Nov-1973 21:33 3329
consts.exp 29-Nov-1973 21:33 543
consts.move 29-Nov-1973 21:33 640
defines.move 29-Nov-1973 21:33 1559
disable_inv.exp 29-Nov-1973 21:33 1145
disable_inv.move 29-Nov-1973 21:33 1577
disable_inv_friends.exp 29-Nov-1973 21:33 917
disable_inv_friends.move 29-Nov-1973 21:33 1818
disable_inv_friends.simplify_exp 29-Nov-1973 21:33 1152
disable_inv_indirect.exp 29-Nov-1973 21:33 776
disable_inv_indirect.move 29-Nov-1973 21:33 418
emits.exp 29-Nov-1973 21:33 11539
emits.move 29-Nov-1973 21:33 11907
exists_in_vector.move 29-Nov-1973 21:33 2631
fixed_point_arithm.cvc4_exp 29-Nov-1973 21:33 8010
fixed_point_arithm.exp 29-Nov-1973 21:33 7108
fixed_point_arithm.move 29-Nov-1973 21:33 5335
fixed_point_arithm.simplify_exp 29-Nov-1973 21:33 6840
friend.move 29-Nov-1973 21:33 789
friend_error.move 29-Nov-1973 21:33 564
generic_invariants.exp 29-Nov-1973 21:33 14449
generic_invariants.move 29-Nov-1973 21:33 1673
global_invariants.exp 29-Nov-1973 21:33 3274
global_invariants.move 29-Nov-1973 21:33 2078
global_vars.exp 29-Nov-1973 21:33 5209
global_vars.move 29-Nov-1973 21:33 4623
global_vars.simplify_exp 29-Nov-1973 21:33 5535
hash_model.exp 29-Nov-1973 21:33 2051
hash_model.move 29-Nov-1973 21:33 2552
hash_model_invalid.exp 29-Nov-1973 21:33 2039
hash_model_invalid.move 29-Nov-1973 21:33 1038
inconsistency.exp 29-Nov-1973 21:33 448
inconsistency.move 29-Nov-1973 21:33 1126
inconsistency.simplify_exp 29-Nov-1973 21:33 448
inconsistency_always_abort.exp 29-Nov-1973 21:33 813
inconsistency_always_abort.move 29-Nov-1973 21:33 615
invariants.exp 29-Nov-1973 21:33 2945
invariants.move 29-Nov-1973 21:33 3428
invariants_resources.exp 29-Nov-1973 21:33 624
invariants_resources.move 29-Nov-1973 21:33 665
invariants_with_quant.move 29-Nov-1973 21:33 802
is_txn_signer.exp 29-Nov-1973 21:33 3290
is_txn_signer.move 29-Nov-1973 21:33 3255
is_txn_signer.simplify_exp 29-Nov-1973 21:33 3217
let.exp 29-Nov-1973 21:33 3209
let.move 29-Nov-1973 21:33 3532
let.simplify_exp 29-Nov-1973 21:33 2452
loop_invariant_invalid.exp 29-Nov-1973 21:33 1219
loop_invariant_invalid.move 29-Nov-1973 21:33 1371
loops.exp 29-Nov-1973 21:33 8680
loops.move 29-Nov-1973 21:33 6010
loops_with_memory_ops.cvc5_exp 29-Nov-1973 21:33 6516
loops_with_memory_ops.exp 29-Nov-1973 21:33 6672
loops_with_memory_ops.move 29-Nov-1973 21:33 2892
macro_verification.exp 29-Nov-1973 21:33 7358
macro_verification.move 29-Nov-1973 21:33 3484
marketcap.move 29-Nov-1973 21:33 1907
marketcap_as_schema.move 29-Nov-1973 21:33 2161
marketcap_as_schema_apply.move 29-Nov-1973 21:33 3876
marketcap_generic.move 29-Nov-1973 21:33 2496
module_invariants.move 29-Nov-1973 21:33 2590
module_level_spec.exp 29-Nov-1973 21:33 786
module_level_spec.move 29-Nov-1973 21:33 770
module_level_spec.simplify_exp 29-Nov-1973 21:33 643
mono.exp 29-Nov-1973 21:33 2783
mono.move 29-Nov-1973 21:33 2855
mut_ref.exp 29-Nov-1973 21:33 2505
mut_ref.move 29-Nov-1973 21:33 4324
mut_ref_accross_modules.move 29-Nov-1973 21:33 4573
mut_ref_arg_return.move 29-Nov-1973 21:33 785
mut_ref_unpack.move 29-Nov-1973 21:33 1294
nested_invariants.exp 29-Nov-1973 21:33 3121
nested_invariants.move 29-Nov-1973 21:33 1478
nonlinear_arithm.exp 29-Nov-1973 21:33 7405
nonlinear_arithm.move 29-Nov-1973 21:33 5960
old_param_err.exp 29-Nov-1973 21:33 318
old_param_err.move 29-Nov-1973 21:33 545
old_param_ok.move 29-Nov-1973 21:33 540
opaque.exp 29-Nov-1973 21:33 478
opaque.move 29-Nov-1973 21:33 549
opaque.simplify_exp 29-Nov-1973 21:33 1067
pack_unpack.move 29-Nov-1973 21:33 7197
pragma.exp 29-Nov-1973 21:33 682
pragma.move 29-Nov-1973 21:33 561
pure_function_call.move 29-Nov-1973 21:33 1486
pure_function_call_incorrect.exp 29-Nov-1973 21:33 961
pure_function_call_incorrect.move 29-Nov-1973 21:33 1570
references.exp 29-Nov-1973 21:33 1131
references.move 29-Nov-1973 21:33 2386
resources.exp 29-Nov-1973 21:33 984
resources.move 29-Nov-1973 21:33 7974
restrictions.exp 29-Nov-1973 21:33 1438
restrictions.move 29-Nov-1973 21:33 1297
restrictions.simplify_exp 29-Nov-1973 21:33 699
return_values.exp 29-Nov-1973 21:33 1612
return_values.move 29-Nov-1973 21:33 1450
schema_exp.exp 29-Nov-1973 21:33 1404
schema_exp.move 29-Nov-1973 21:33 1242
script.move 29-Nov-1973 21:33 267
script_incorrect.cvc5_exp 29-Nov-1973 21:33 1176
script_incorrect.exp 29-Nov-1973 21:33 1228
script_incorrect.move 29-Nov-1973 21:33 286
script_provider.move 29-Nov-1973 21:33 797
serialize_model.exp 29-Nov-1973 21:33 1029
serialize_model.move 29-Nov-1973 21:33 1045
shift.exp 29-Nov-1973 21:33 3367
shift.move 29-Nov-1973 21:33 2276
signer_display.exp 29-Nov-1973 21:33 456
signer_display.move 29-Nov-1973 21:33 236
simple_vector_client.move 29-Nov-1973 21:33 12897
specs_in_fun.exp 29-Nov-1973 21:33 2002
specs_in_fun.move 29-Nov-1973 21:33 1257
specs_in_fun_ref.move 29-Nov-1973 21:33 2514
strong_edges.exp 29-Nov-1973 21:33 1634
strong_edges.move 29-Nov-1973 21:33 1477
test_multi_let_bindings_in_spec.move 29-Nov-1973 21:33 381
trace.cvc5_exp 29-Nov-1973 21:33 3594
trace.exp 29-Nov-1973 21:33 3598
trace.move 29-Nov-1973 21:33 883
trace.simplify_exp 29-Nov-1973 21:33 3372
type_dependent_code.exp 29-Nov-1973 21:33 3900
type_dependent_code.move 29-Nov-1973 21:33 3002
uninst_global_invariant.exp 29-Nov-1973 21:33 581
uninst_global_invariant.move 29-Nov-1973 21:33 968
unsupported.exp 29-Nov-1973 21:33 244
unsupported.move 29-Nov-1973 21:33 166
unused_global_invariant.exp 29-Nov-1973 21:33 1430
unused_global_invariant.move 29-Nov-1973 21:33 2193
unused_schema.exp 29-Nov-1973 21:33 300
unused_schema.move 29-Nov-1973 21:33 741
verify_bcs.move 29-Nov-1973 21:33 313
verify_sort.move 29-Nov-1973 21:33 1922
verify_table.exp 29-Nov-1973 21:33 2143
verify_table.move 29-Nov-1973 21:33 4435
verify_vector.move 29-Nov-1973 21:33 11985