~jamesh/storm/bug-697513

Viewing all changes in revision 376.1.5.

  • Committer: Gustavo Niemeyer
  • Date: 2010-10-19 13:36:26 UTC
  • mto: This revision was merged to the branch mainline in revision 377.
  • Revision ID: gustavo@niemeyer.net-20101019133626-fuimk1s0eycij593
Add additional test checking that the replace_unknown_lazy value is
properly used on reloads, as recommended by Thomas.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: