Skip to content

Commit 6f27b7f

Browse files
removed trivial test cases
1 parent 9ef1c20 commit 6f27b7f

File tree

2 files changed

+0
-251
lines changed

2 files changed

+0
-251
lines changed

hol/policy_to_table/policy_test_cases/auto_test3Script.sml

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

hol/policy_to_table/policy_test_cases/auto_test4Script.sml

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

0 commit comments

Comments
 (0)