Project

General

Profile

« Previous | Next » 

Revision f2b1c245

Added by Pierre-Loïc Garoche about 9 years ago

Solved bug found by Teme about asserts.

Previously assert expression containing -> would lead to unnormalized ite. Now each expression within the assert is normalized and may bind new node equations.
This could be later optimized but is working now.

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@406 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/corelang.ml
475 475
  nd.node_inputs @ nd.node_locals @ nd.node_outputs
476 476

  
477 477
let get_var id var_list =
478
 List.find (fun v -> v.var_id = id) var_list
478
    List.find (fun v -> v.var_id = id) var_list
479 479

  
480 480
let get_node_var id node =
481 481
  get_var id (get_node_vars node)

Also available in: Unified diff