Skip to content

Commit 329b284

Browse files
updated and added test cases
1 parent 47c0d2b commit 329b284

11 files changed

+8038
-262
lines changed

hol/policy_to_table/policy_test_cases/auto_test1Script.sml

Lines changed: 0 additions & 76 deletions
This file was deleted.

hol/policy_to_table/policy_test_cases/auto_test2Script.sml

Lines changed: 0 additions & 89 deletions
This file was deleted.

hol/policy_to_table/policy_test_cases/auto_test_rndScript.sml

Lines changed: 0 additions & 93 deletions
This file was deleted.

0 commit comments

Comments
 (0)