Project

General

Profile

Revision e4edf171 src/backends/Horn/horn_backend_printers.ml

View differences:

src/backends/Horn/horn_backend_printers.ml
419 419

  
420 420
(**************************************************************)
421 421

  
422
let is_stateless m = m.minstances = [] && m.mmemory = []
423 422

  
424 423
(* Print the machine m:
425 424
   two functions: m_init and m_step

Also available in: Unified diff