prepare reusable test helper

tests/alias_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 AliasQuery.idr < input
+../run.sh $1 AliasQuery.idr input
 
 rm -rf build

tests/alias_statement/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 --check AliasStatement.idr
+../run.sh $1 AliasStatement.idr input
 
 rm -rf build

tests/expected_type_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 ExpectedTypeQuery.idr < input
+../run.sh $1 ExpectedTypeQuery.idr input
 
 rm -rf build

tests/inner_join_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 JoinQuery.idr < input
+../run.sh $1 JoinQuery.idr input
 
 rm -rf build

tests/inner_join_statement/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 --check JoinStatement.idr
+../run.sh $1 JoinStatement.idr input
 
 rm -rf build

tests/insert_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 InsertQuery.idr < input
+../run.sh $1 InsertQuery.idr input
 
 rm -rf build

tests/left_join_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 JoinQuery.idr < input
+../run.sh $1 JoinQuery.idr input
 
 rm -rf build

tests/left_join_statement/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 --check LeftJoinStatement.idr
+../run.sh $1 LeftJoinStatement.idr input
 
 rm -rf build

tests/print_alias_statement/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 AliasStatement.idr < input
+../run.sh $1 AliasStatement.idr input
 
 rm -rf build

tests/print_double_join_statement/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 DoubleJoinStatement.idr < input
+../run.sh $1 DoubleJoinStatement.idr input
 
 rm -rf build

tests/print_left_and_inner_join_statements/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 LeftAndInnerJoinStatements.idr < input
+../run.sh $1 LeftAndInnerJoinStatements.idr input
 
 rm -rf build

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

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