Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools

PVS Bug 1029


Synopsis:        latex-proof: That makes 100 errors; please try again.
Severity:        serious
Priority:        medium
Responsible:     owre
State:           open
Class:           sw-bug
Arrival-Date:    Tue Mar 11 13:05:00 -0700 2008
Originator:      Hendrik Tews
Release:         PVS 4.1
Organization:    cs.ru.nl
Environment: 
 System:          
 Architecture: 

Description: 
  Hi,
  
  [For the tar file see the "prettyprint-expanded dies with..." bug
  report.]
  
  latex dies after 100 errors on the (verbose) output of
  latex-proof on dt_lift_art_TCC5 (types.pvs). The generated latex
  seems to be distorted. Some of the latex errors:
  
  - double \(\(
  - superfluous }
  - \) without \(
  
  
  Bye,
  
  Hendrik

How-To-Repeat: 

Fix: 
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools