Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Tom Hawkins <tomahawkins <at> gmail.com>
Subject: ANN: atom-0.1.3
Newsgroups: gmane.comp.lang.haskell.cafe
Date: Thursday 3rd December 2009 11:52:05 UTC (over 6 years ago)
This release of Atom slightly changes the semantics of assertions and
coverage.  Assertion and coverage are now checked between the
execution of every rule, instead of only when the rules containing
assertions are fired.  They are still subject to parental guard
conditions, but not period or phase constraints.  This means...

period 20 $ atom "checkSomeStuff" $ do
  cond ok
  assert "A" a
  assert "B" b
  cover  "C" c

... A, B, and C are checked all the time "ok" is true, not just every
20th cycle.

Checking between every rule execution obviously impacts simulation
time, but the increased testing rigor is worth it.

I also added 'linear' to Common, which does linear interpolation and
extrapolation on a line given two points.  (I found I was replicating
this function everywhere for sensor calibrations, control limits,
etc.)

http://hackage.haskell.org/package/atom
 
CD: 3ms