Exhaustive mission testing using python MissionExecutionEngine (thanks Jon)

EthicalControl.html

@@ -1229,7 +1229,7 @@ multiple key scenarios demonstrates these principles in action.
         </p>
         
         <p>
-            Updated: 18 January 2021
+            Updated: 4 February 2021
         </p>
     </body>
 </html>

build.xml

@@ -226,8 +226,10 @@ POSSIBILITY OF SUCH DAMAGE.
 
     <!-- ======================================================================================== -->
     
-    <target name="all" depends="convertAvclToMeoTurtle.examples.all,convertAvclToLisp.examples.all,convertAvclToProlog.examples.all,SPARQL.query.tests.all,zip"/>
-    
+    <target name="all" depends="convert.all,SPARQL.query.tests.all,test.all.missions.python,zip"/>
+
+    <target name="convert.all" depends="convertAvclToMeoTurtle.examples.all,convertAvclToLisp.examples.all,convertAvclToProlog.examples.all"/>
+
     <target name="deploy" description="build all and upload" depends="all,upload"/>
     
     <target name="build" description="shortcut to build all mission checks" depends="convertAvclToMeoTurtle.examples.all,SPARQL.query.tests.all"/>
@@ -657,7 +659,7 @@ POSSIBILITY OF SUCH DAMAGE.
             <arg value="missions/python/MissionExecutionEngine.py"/>
             <arg value="--exhaustively-test-all-standard-library-missions"/>
             <arg value="--exhaustive-testing-max-runs-per-mission"/>
-            <arg value="2000"/>
+            <arg value="2000"/><!-- debatable, what is best? want to find significant errors so verbose is OK -->
         </exec>
         <!-- verbose results are OK, they go into the build log for ongoing comparison/confirmation -->
     </target>

missions/python/MissionExecutionEngine.py

@@ -375,7 +375,7 @@ class ExhaustiveTestingMockTacticalEngine(TacticalEngine):
         inf_loop_description += letter
       self.printing_function("\nINFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE:  " + inf_loop_description + "\n" + \
                              self.phase_just_before_cycle_gets_closed.command.human_readable_order_indented("    => ") + \
-                             '\nUPON OUTCOME ' + last_outcome_letter + ', LOOPS BACK TO \n' + 
+                             '\nUPON OUTCOME ' + last_outcome_letter + ', LOOPS BACK TO:\n' +
                              self.phase_closing_cycle.command.human_readable_order_indented("    <= ") + \
                              "\nWHICH (counting starting with initial phase = step # 1) was previously visited at step # " + str(1 + self.cycle_closing_point_step_number))