search

GaloisInc / salty

A DSL for generating GR(1) problems
BSD 3-Clause "New" or "Revised" License
11 stars 3 forks source link

Empty list error #2

Closed leepike closed 8 years ago

leepike commented 8 years ago

This program

controller Democontroller2 where

input a : Bool = False
input b : Int 2...3  = 1
input c : Bool

output d : Int 1...4

sys_trans
  if a
     then d = 1
     else d = 2

causes an salty: Prelude.foldl1: empty list error.

elliottt commented 8 years ago

Fixed as of 6a235e5baae43fd423da88cf25cf1a8be89134cb