← Back to branch summary

~ubuntu-branches/debian/sid/frama-c/sid

« back to all changes in this revision

Viewing changes to tests/saveload/size.ml

  • Committer: Bazaar Package Importer
  • Author(s): Mehdi Dogguy
  • Date: 2009-06-03 08:19:25 UTC
  • Revision ID: james.westby@ubuntu.com-20090603081925-kihvxvt0wy3zc4ar
Tags: upstream-20081201.dfsg
Import upstream version 20081201.dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
tests/saveload/size.ml
 
1
(*
 
2
  Test on save/load procedure
 
3
  
 
4
  What it does: it add some states through Project.Computation.Register
 
5
  in order to see whether the load with less states definitions works
 
6
 
 
7
  Date: 04/07/2008
 
8
  Author: Julien Peeters
 
9
*)
 
10
 
 
11
 
 
12
(* We just add one state at this time *)
 
13
module StateA = 
 
14
  Computation.Ref
 
15
    (struct include Datatype.Int let default () = 0 end)
 
16
    (struct let name = "Project.Test.StateA" let dependencies = [] end)
 
17
 
 
18
let () = StateA.set 10