Changes between Version 9 and Version 10 of Introduction

Timestamp:

12/29/18 09:20:34 (7 years ago)

Author:

siegel

Comment:

--

Introduction

@@ -96 +96 @@
 }}}
 
+which results in the following output (excerpted):
+
+{{{
+
+=== Result ===
+The program MAY NOT be correct.  See CIVLREP/diningBad_log.txt
+
+}}}
+
 The output indicates that a deadlock has been found and a counterexample has been produced and saved. We can examine the counterexample, but it is more helpful to work with a minimal counterexample, i.e., a deadlocking trace of minimal length. To find a minimal counterexample, we issue the command
 
@@ -148 +157 @@
 
 = Command-line Tools = #tools
-