Please review any and all PUBLIC repositories, groups and associate files. These allow anyone on the Internet to access without authentication. Repository and group owners are responsible for their content and permission settings. Go to your project(s), click on Settings > General and expand the "Visibility, project features, permissions" to change this setting.

Commit aa839af3 authored by Brutzman, Don's avatar Brutzman, Don

mission rename

parent ceecc88c
International Allegro CL Free Express Edition
10.1 [32-bit Windows] (Jan 9, 2019 10:44)
Copyright (C) 1985-2019, Franz Inc., Oakland, CA, USA. All Rights Reserved.
This development copy of Allegro CL is licensed to:
Allegro CL 10.1 Express user
Loaded options from C:\Users\rober\OneDrive\Documents\allegro-ide-options.cl.
;; Optimization settings: safety 1, space 1, speed 1, debug 2.
;; For a complete description of all compiler switches given the current optimization settings evaluate
;; (EXPLAIN-COMPILER-SETTINGS).
[changing package from "COMMON-LISP-USER" to "COMMON-GRAPHICS-USER"]
CG-USER(1):
; Autoloading for ACL-SOCKET:MAKE-SSL-CLIENT-STREAM:
; Fast loading C:\acl10.1express-new\code\ssl.002
;;; Installing ssl patch, version 2.
; Foreign loading libeay32.dll.
; Foreign loading ssleay32.dll.
; Foreign loading sys:aclissl.dll.
; Fast loading
; C:\acl10.1express-new\2020 Code\Lisp 2018 Mission All Paths\New Exhaustive Testing and Execution of 2018 JOE Mission.fasl
CG-USER(1): (start)
READY
CG-USER(2): (all-paths)
DONE
CG-USER(3): (pprint (save-results))
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Exception." PHASE4
"Rendezvous with Vehicle2!" "Exception." PHASE5)
CG-USER(4): (abbreviate-scenario)
(S S X X)
CG-USER(5): (repeat)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Exception." PHASE4
"Rendezvous with Vehicle2!" "Failure." PHASE5)
(S S X F)
CG-USER(6): (repeat)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Exception." PHASE4
"Rendezvous with Vehicle2!" "Success." PHASE5)
(S S X S)
CG-USER(7): (repeat)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Failure." PHASE4
"Rendezvous with Vehicle2!" "Exception." PHASE5)
(S S F X)
CG-USER(8): (repeat)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Failure." PHASE4
"Rendezvous with Vehicle2!" "Failure." PHASE5)
(S S F F)
CG-USER(5): (abbreviate-scenario)
(S S X X)
CG-USER(6): (pprint *all-algorithmic-paths* )
((PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Exception." PHASE4
"Rendezvous with Vehicle2!" "Exception." PHASE5)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Exception." PHASE4
"Rendezvous with Vehicle2!" "Failure." PHASE5)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Exception." PHASE4
"Rendezvous with Vehicle2!" "Success." PHASE5)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Failure." PHASE4
"Rendezvous with Vehicle2!" "Exception." PHASE5)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Failure." PHASE4
"Rendezvous with Vehicle2!" "Failure." PHASE5)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Failure." PHASE4
"Rendezvous with Vehicle2!" "Success." PHASE5)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Success." PHASE4
"Rendezvous with Vehicle2!" "Exception." PHASE5)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Success." PHASE4
"Rendezvous with Vehicle2!" "Failure." PHASE5)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Success." PHASE3 "Search Area B!" "Success." PHASE4
"Rendezvous with Vehicle2!" "Success." PHASE5)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Exception." PHASE4 "Rendezvous with Vehicle2!" "Exception." PHASE5)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Exception." PHASE4 "Rendezvous with Vehicle2!" "Failure." PHASE5)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Exception." PHASE4 "Rendezvous with Vehicle2!" "Success." PHASE5)
(PHASE1 "Search Area A!" "Failure." PHASE3 "Search Area B!" "Exception." PHASE4 "Rendezvous with Vehicle2!" "Exception." PHASE5)
(PHASE1 "Search Area A!" "Failure." PHASE3 "Search Area B!" "Exception." PHASE4 "Rendezvous with Vehicle2!" "Failure." PHASE5)
(PHASE1 "Search Area A!" "Failure." PHASE3 "Search Area B!" "Exception." PHASE4 "Rendezvous with Vehicle2!" "Success." PHASE5)
(PHASE1 "Search Area A!" "Failure." PHASE3 "Search Area B!" "Failure." PHASE4 "Rendezvous with Vehicle2!" "Exception." PHASE5)
(PHASE1 "Search Area A!" "Failure." PHASE3 "Search Area B!" "Failure." PHASE4 "Rendezvous with Vehicle2!" "Failure." PHASE5)
(PHASE1 "Search Area A!" "Failure." PHASE3 "Search Area B!" "Failure." PHASE4 "Rendezvous with Vehicle2!" "Success." PHASE5)
(PHASE1 "Search Area A!" "Failure." PHASE3 "Search Area B!" "Success." PHASE4 "Rendezvous with Vehicle2!" "Exception." PHASE5)
(PHASE1 "Search Area A!" "Failure." PHASE3 "Search Area B!" "Success." PHASE4 "Rendezvous with Vehicle2!" "Failure." PHASE5)
(PHASE1 "Search Area A!" "Failure." PHASE3 "Search Area B!" "Success." PHASE4 "Rendezvous with Vehicle2!" "Success." PHASE5)
(PHASE1 "Search Area A!" "Success." PHASE2 "Sample environment!" "Failure." PHASE5)
(PHASE1 "Search Area A!" "Exception." PHASE4 "Rendezvous with Vehicle2!" "Exception." PHASE5)
(PHASE1 "Search Area A!" "Exception." PHASE4 "Rendezvous with Vehicle2!" "Failure." PHASE5)
(PHASE1 "Search Area A!" "Exception." PHASE4 "Rendezvous with Vehicle2!" "Success." PHASE5))
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment