Add test for issue PetterS#3.

arotenberg · Jan 29, 2018 · f52ae32 · f52ae32
1 parent aa02960
commit f52ae32
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/tests/CMakeLists.txt b/tests/CMakeLists.txt
@@ -33,4 +33,6 @@ IF (NOT MSVC)
 	ADD_TEST(NAME test_problem6 COMMAND sh ${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/main.sh "${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/qepcad" "${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/test_problem6.txt" WORKING_DIRECTORY ${CMAKE_RUNTIME_OUTPUT_DIRECTORY})
 
 	ADD_TEST(NAME test_problem7 COMMAND sh ${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/main.sh "${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/qepcad" "${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/test_problem7.txt" WORKING_DIRECTORY ${CMAKE_RUNTIME_OUTPUT_DIRECTORY})
+
+	ADD_TEST(NAME issue_3 COMMAND sh ${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/main.sh "${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/qepcad" "${CMAKE_CURRENT_SOURCE_DIR}/Issue_3.txt" WORKING_DIRECTORY ${CMAKE_RUNTIME_OUTPUT_DIRECTORY})
 ENDIF ()
diff --git a/tests/Issue_3.txt b/tests/Issue_3.txt
@@ -0,0 +1,6 @@
+[]
+(m,b,c)
+1
+(Eb)(Ec)[m>0 /\ 1+b>c /\ b+c>1 /\ c+1>b /\ 4 b^3+4 b^2 c+4 b^2+4 b c^2+4 b+4 c^3+4 c^2+4 c+4=(b^3 m+3 b^2 c m+3 b^2 m+3 b c^2 m+14 b c m+3 b m+c^3 m+3 c^2 m+3 c m+m)].
+assume[m>0].
+finish