Changes between Version 6 and Version 7 of C Interface

Timestamp:

02/18/10 11:45:47 (16 years ago)

Author:

Stephen Siegel

Comment:

--

C Interface

@@ -65 +65 @@
   assert(fp);
   while (1) {
-    /*@ _TASS_corresponds spec@label */
+    /* if fp is a real file, read it as normal. otherwise it is a symbolic file,
+      * and a symbolic expression is stored in tmp.   The expression
+      * is the application of an abstract function to the filename and
+      * an integer-valued expression representing current point in file. */
     int more = fscanf(fp, "%lf", &tmp);