test/metastate/tainted.mts

   1 state taintedness
   2    context reference
   3    oneof untainted, tainted
   4    annotations
   5       tainted reference ==> tainted
   6       untainted reference ==> untainted
   7    merge
   8       tainted + * ==> tainted
   9       * + tainted ==> tainted
  10    transfers
  11       tainted as untainted ==> error "Possibly tainted storage used as untainted."
  12       tainted as tainted ==> tainted
  13       untainted as tainted ==> untainted
  14       untainted as untainted ==> untainted
  15    defaults
  16       reference ==> untainted
  17       parameter ==> tainted
  18 end
  19
  20
  21