-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Committer: Tamio Vesa Nakajima <[email protected]>
On branch master Your branch is up-to-date with 'origin/master'. Changes to be committed: modified: README.md new file: buildtests.sh deleted: incf/00 deleted: incf/01 deleted: incf/02 new file: incf/fixed new file: incf/random modified: ingen/ingen.bin modified: ingen/ingen.cpp modified: lib.sh modified: okgen/okgen.bin modified: okgen/okgen.cpp modified: run.sh new file: testmanifest Basically made ./buildtests work with testmanifest rather than test by test
- Loading branch information
Tamio Vesa Nakajima
authored and
Tamio Vesa Nakajima
committed
May 20, 2018
1 parent
9326159
commit 9490935
Showing
56 changed files
with
167 additions
and
73 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,73 @@ | ||
#!/bin/bash | ||
# | ||
# This builds all tests using testmanifest | ||
# Tamio-Vesa Nakajima | ||
|
||
# include the library | ||
source lib.sh | ||
|
||
# Get problem name | ||
problemname=`cat problemname` | ||
|
||
# Make stage (as git deletes it) | ||
mkdir -p stage | ||
|
||
# We will want to remember this: | ||
currtest=0 | ||
|
||
# Loop over lines of | ||
cat testmanifest | while read instr; do | ||
# Parse a line of testmanifest | ||
set $instr | ||
numberoftests=$1 | ||
incf=$2 | ||
totalpoints=$3 | ||
points=$(($totalpoints / $numberoftests)) | ||
|
||
for nr in `seq $currtest $(($currtest + $numberoftests - 1))` ; do | ||
echo $nr | ||
################# | ||
# Build input: | ||
################# | ||
|
||
# Build input generator | ||
try "cd ingen && make -s && cd .." "input generator build fail" | ||
|
||
# Copy ingen/ingen.bin and incf/$1 into stage | ||
cp ingen/ingen.bin stage/$problemname.bin | ||
try "cp incf/$incf stage/$problemname.cf" "incf/$incf doesn't exist" | ||
|
||
# Build input | ||
try "cd stage && ./$problemname.bin > ../tests/$problemname-$nr.in && cd .." "input generation fail" | ||
|
||
# Clean stage | ||
rm stage/* | ||
|
||
################### | ||
# Build ok | ||
################### | ||
|
||
# Build ok generator | ||
try "cd okgen && make -s && cd .." "ok generator build fil" | ||
|
||
# Copy ok generator and input into stage | ||
cp okgen/okgen.bin stage/$problemname.bin | ||
cp tests/$problemname-$nr.in stage/$problemname.in | ||
|
||
# Indicate the number of points in the stage | ||
echo $points > stage/$problemname.points | ||
|
||
# Build ok | ||
try "cd stage && ./$problemname.bin && cd .." "ok generation fail" | ||
|
||
# Copy ok from stage into tests | ||
cp stage/$problemname.ok tests/$problemname-$nr.ok | ||
|
||
# Clean stage | ||
rm stage/* | ||
done | ||
|
||
#update currtest | ||
currtest=$(($currtest + $numberoftests)) | ||
|
||
done |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
1 0 1 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
0 0 0 |
Binary file not shown.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Binary file not shown.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
1 fixed 10 | ||
18 random 90 |
Empty file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
10 | ||
0 |
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
Empty file.
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +0,0 @@ | ||
0 0 | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +0,0 @@ | ||
0 0 | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +0,0 @@ | ||
0 0 | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +0,0 @@ | ||
0 0 | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +0,0 @@ | ||
0 0 | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +0,0 @@ | ||
0 0 | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +0,0 @@ | ||
0 0 | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +0,0 @@ | ||
0 0 | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +0,0 @@ | ||
0 0 | ||
This file was deleted.
Oops, something went wrong.
Empty file.
File renamed without changes.
Empty file.
File renamed without changes.
Empty file.
File renamed without changes.
Empty file.
File renamed without changes.
Empty file.
File renamed without changes.
Empty file.
File renamed without changes.
Empty file.
File renamed without changes.
Empty file.
File renamed without changes.