Skip to content

Commit a4e55b2

Browse files
andreiburdusarv-jenkins
andreiburdusa
and
rv-jenkins
authored
Remove IMP fragment tests (#2467)
* Remove IMP fragment tests Now the backend can run the complete IMP semantics so these are no longer necessary. * Rebuild Co-authored-by: rv-jenkins <[email protected]>
1 parent d136446 commit a4e55b2

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

56 files changed

+0
-1358
lines changed

‎test/imp-concrete-heat-cool/Makefile

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

‎test/imp-concrete-heat-cool/collatz.imp

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

‎test/imp-concrete-heat-cool/collatz.imp.out.golden

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

‎test/imp-concrete-heat-cool/imp.k

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

‎test/imp-concrete-heat-cool/primes.imp

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

‎test/imp-concrete-heat-cool/primes.imp.out.golden

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

‎test/imp-concrete-heat-cool/sum.imp

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

‎test/imp-concrete-heat-cool/sum.imp.out.golden

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

‎test/imp-concrete-state/Makefile

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

‎test/imp-concrete-state/collatz.imp

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

‎test/imp-concrete-state/collatz.imp.out.golden

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

‎test/imp-concrete-state/imp.k

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

‎test/imp-concrete-state/primes.imp

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

‎test/imp-concrete-state/primes.imp.out.golden

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

‎test/imp-concrete-state/sum.imp

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

‎test/imp-concrete-state/sum.imp.out.golden

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

‎test/imp-map-strict/Makefile

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

0 commit comments

Comments
 (0)