Restore some C extraction tests

FStarLang · Dec 27, 2024 · 3706a52 · 3706a52
1 parent 74c8e78
commit 3706a52
Show file tree

Hide file tree

Showing 7 changed files with 648 additions and 0 deletions.
diff --git a/share/pulse/examples/Example.Hashtable.fst → test/Example.Hashtable.fst b/share/pulse/examples/Example.Hashtable.fst → test/Example.Hashtable.fst
diff --git a/share/pulse/examples/Example.Slice.fst → test/Example.Slice.fst b/share/pulse/examples/Example.Slice.fst → test/Example.Slice.fst