Removed (for now) unrelated tests

Also added a test example for the POSIX reasoner
epi-project · Oct 15, 2024 · d82e2e0 · d82e2e0
1 parent a380c56
commit d82e2e0
Show file tree

Hide file tree

Showing 61 changed files with 49 additions and 8,933 deletions.
diff --git a/tests/branescript/attributes.bs b/tests/branescript/attributes.bs
diff --git a/tests/branescript/call.bs b/tests/branescript/call.bs
diff --git a/tests/branescript/call_chain.bs b/tests/branescript/call_chain.bs
diff --git a/tests/branescript/copy_result.bs b/tests/branescript/copy_result.bs
diff --git a/tests/branescript/dan-not.bs b/tests/branescript/dan-not.bs
diff --git a/tests/branescript/dan.bs b/tests/branescript/dan.bs
diff --git a/tests/branescript/data_complex.bs b/tests/branescript/data_complex.bs
diff --git a/tests/branescript/epi.bs b/tests/branescript/epi.bs
diff --git a/tests/branescript/epi_one.bs b/tests/branescript/epi_one.bs
diff --git a/tests/branescript/epi_parallel.bs b/tests/branescript/epi_parallel.bs
diff --git a/tests/branescript/function.bs b/tests/branescript/function.bs
diff --git a/tests/branescript/hello_world.bs b/tests/branescript/hello_world.bs
diff --git a/tests/branescript/if_complex.bs b/tests/branescript/if_complex.bs
diff --git a/tests/branescript/scopes.bs b/tests/branescript/scopes.bs
diff --git a/tests/branescript/task_branch.bs b/tests/branescript/task_branch.bs
diff --git a/tests/branescript/task_chain.bs b/tests/branescript/task_chain.bs
diff --git a/tests/branescript/task_loop.bs b/tests/branescript/task_loop.bs
diff --git a/tests/branescript/task_parallel.bs b/tests/branescript/task_parallel.bs