prepare reusable test helper

mattpolzin · Dec 10, 2024 · d5878a9 · d5878a9
1 parent 611da4d
commit d5878a9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/tests/run.sh b/tests/run.sh
@@ -0,0 +1,2 @@
+#!/usr/bin/env bash
+$1 --no-color --console-width 0 --no-banner --package pg-idris --package pg-idris-tests --package indexed --package elab-util --package parser --package parser-json $2 < $3
diff --git a/tests/table_query/run b/tests/table_query/run
@@ -1,3 +1,3 @@
-$1 --no-color --console-width 0 --no-banner --package pg-idris --package pg-idris-tests --package indexed --package parser-json TableQuery.idr < input
+../run.sh $1 TableQuery.idr input
 
 rm -rf build
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		#!/usr/bin/env bash
		$1 --no-color --console-width 0 --no-banner --package pg-idris --package pg-idris-tests --package indexed --package elab-util --package parser --package parser-json $2 < $3