[validate data/bad] #35: Add examples of bad data.

RagnarGrootKoerkamp · RagnarGrootKoerkamp · commit 49a5abcce744 · 2020-01-22T17:15:20.000+01:00
Also updates existing output validators to read a float instead of int, as is needed for the new sample problem.
diff --git a/skel/problem/data/bad/bad-answer.ans b/skel/problem/data/bad/bad-answer.ans
@@ -0,0 +1 @@
+-1
diff --git a/skel/problem/data/bad/bad-answer.in b/skel/problem/data/bad/bad-answer.in
@@ -0,0 +1 @@
+1
diff --git a/skel/problem/data/bad/bad-input.in b/skel/problem/data/bad/bad-input.in
@@ -0,0 +1 @@
+1.1
diff --git a/skel/problem/data/bad/bad-output.in b/skel/problem/data/bad/bad-output.in
@@ -0,0 +1 @@
+1
diff --git a/skel/problem/data/bad/bad-output.out b/skel/problem/data/bad/bad-output.out
@@ -0,0 +1 @@
+-1
diff --git a/skel/problem/data/bad/bad.ans b/skel/problem/data/bad/bad.ans
@@ -0,0 +1 @@
+1
diff --git a/skel/problem/data/bad/bad.in b/skel/problem/data/bad/bad.in
@@ -0,0 +1 @@
+1
diff --git a/skel/problem/data/bad/bad.out b/skel/problem/data/bad/bad.out
@@ -0,0 +1 @@
+-1
diff --git a/skel/problem/data/bad/ok-ans.ans b/skel/problem/data/bad/ok-ans.ans
@@ -0,0 +1 @@
+1
diff --git a/skel/problem/data/bad/ok-ans.in b/skel/problem/data/bad/ok-ans.in
@@ -0,0 +1 @@
+1
diff --git a/skel/problem/data/bad/ok-full.ans b/skel/problem/data/bad/ok-full.ans
@@ -0,0 +1 @@
+1
diff --git a/skel/problem/data/bad/ok-full.in b/skel/problem/data/bad/ok-full.in
@@ -0,0 +1 @@
+1
diff --git a/skel/problem/data/bad/ok-full.out b/skel/problem/data/bad/ok-full.out
@@ -0,0 +1 @@
+1
diff --git a/skel/problem/data/bad/ok-input.in b/skel/problem/data/bad/ok-input.in
@@ -0,0 +1 @@
+1
diff --git a/skel/problem/data/bad/ok-out.in b/skel/problem/data/bad/ok-out.in
@@ -0,0 +1 @@
+1
diff --git a/skel/problem/data/bad/ok-out.out b/skel/problem/data/bad/ok-out.out
@@ -0,0 +1 @@
+1
diff --git a/skel/problem/output_validators/output_validator/output_validator.cpp b/skel/problem/output_validators/output_validator/output_validator.cpp
@@ -27,6 +27,6 @@ int main(int argc, char **argv) {
 
 	int input;
 	in >> input;
-	int answer = v.read_long_long(input, input);
+	int answer = v.read_long_double(0, 1000000000);
 	v.newline();
 }
diff --git a/skel/problem/output_validators/output_validator/validation.h b/skel/problem/output_validators/output_validator/validation.h
@@ -381,7 +381,6 @@ class Validator {
 		done.has_max |= v == high;
 	}
 	void log_constraint(long double low, long double high, long double v, source_location loc = source_location::current()){
-		cerr << "FALSE\n";
 		// Do not log when line number is unknown/default/unsupported.
 		if(loc.line() == 0 or constraints_file_path.empty()) return;
 
diff --git a/skel/problem/output_validators/validate.ctd b/skel/problem/output_validators/validate.ctd
@@ -0,0 +1,2 @@
+FLOAT(0, 100000) NEWLINE
+EOF
diff --git a/skel/problem/output_validators/validate.viva b/skel/problem/output_validators/validate.viva
@@ -0,0 +1,3 @@
+{
+	< n : double (0 <= n <= 100000) >;
+}

Original file line number	Diff line number	Diff line change
`@@ -27,6 +27,6 @@ int main(int argc, char **argv) {`
`27`	`27`
`28`	`28`	`int input;`
`29`	`29`	`in >> input;`
`30`		`- int answer = v.read_long_long(input, input);`
	`30`	`+ int answer = v.read_long_double(0, 1000000000);`
`31`	`31`	`v.newline();`
`32`	`32`	`}`
Original file line number	Diff line number	Diff line change
`@@ -381,7 +381,6 @@ class Validator {`
`381`	`381`	`done.has_max \|= v == high;`
`382`	`382`	`}`
`383`	`383`	`void log_constraint(long double low, long double high, long double v, source_location loc = source_location::current()){`
`384`		`- cerr << "FALSE\n";`
`385`	`384`	`// Do not log when line number is unknown/default/unsupported.`
`386`	`385`	`if(loc.line() == 0 or constraints_file_path.empty()) return;`
`387`	`386`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+{`
	`2`	`+ < n : double (0 <= n <= 100000) >;`
	`3`	`+}`