diff options
| author | Son Ho | 2024-05-28 18:05:01 +0200 |
|---|---|---|
| committer | Son Ho | 2024-05-28 18:05:01 +0200 |
| commit | ae075db15638ee8878bebe3d31affb1aa320e90f (patch) | |
| tree | 4f8cea8688c85603ca250afa0b581aa4b96289ee /tests/src/infinite-loop.rs | |
| parent | 2b5186fef6932995626790af241eaed4e7cc02ae (diff) | |
Reactivate the infinite-loop.rs test
Diffstat (limited to 'tests/src/infinite-loop.rs')
| -rw-r--r-- | tests/src/infinite-loop.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tests/src/infinite-loop.rs b/tests/src/infinite-loop.rs index 906fc1fa..0e247d20 100644 --- a/tests/src/infinite-loop.rs +++ b/tests/src/infinite-loop.rs @@ -1,4 +1,3 @@ -//@ [coq,fstar,lean] skip //@ [coq,fstar] aeneas-args=-use-fuel //@ [coq,fstar] subdir=misc // FIXME: make it work |