Package: libdiagnostics-dev
Version: 0.1

The code to display diffs results in weird output in some cases (see the
attached log).

Best,
Michael


Old output:
--------------------------------------------------------------------------------
No source files available
syntax error, unexpected $end, expecting TOK_PATH or TOK_C_IDENT; type "help" 
to get usage information
file <FORTAS-query> line 1 column 66: failed to find symbol `c::y'
Type checking failed
Path is feasible, e.g.,  main::argc=2
Path is infeasible
Path is feasible, e.g.,  main::argc=2
Bye.

--------------------------------------------------------------------------------
Proceed? [a|r|o|n|d]: n
MISSMATCHING ENTRY: 
ID='/Frontend/fct/normal/frontend_test//test_query_input1.txt_out'
New output:
--------------------------------------------------------------------------------
No source files available
syntax error, unexpected $end, expecting TOK_PATH or TOK_C_IDENT; type "help" 
to get usage information
Path is infeasible
Path is infeasible
Path is infeasible
Path is infeasible
Bye.

--------------------------------------------------------------------------------
Proceed? [a|r|o|n|d]: d
MISSMATCHING ENTRY: 
ID='/Frontend/fct/normal/frontend_test//test_query_input1.txt_out'
Diff:
--------------------------------------------------------------------------------
 No source files available
 syntax error, unexpected $end, expecting TOK_PATH or TOK_C_IDENT; type "help" 
to get usage information
-file <FORTAS-query> line 1 column 66: failed to find symbol `c::y'
-Type checking failed
-Path is feasible, e.g.,  main::argc=2
+Path is infeasible
+Path is infeasible
+Path is infeasible
 Path is infeasible
 Path is feasible, e.g.,  main::argc=2
-Bye.
 
--------------------------------------------------------------------------------
Proceed? [a|r|o|n|d]: 

Attachment: pgpTbQeafLo24.pgp
Description: PGP signature

Reply via email to