Code

Contract with threaded method#2830

Code

Open

Delja wants to merge 4 commits intonitlang:masternitlang/nit:masterfrom Delja:contract_multy_threadDelja/nit:contract_multy_threadCopy head branch name to clipboard

+150-76

Commits

Commits on Aug 20, 2020

• abstract_compiler: Add in_assertion flag

  Show description for 1f88009
  Delja

  committed
  1f88009

• naive_interpreter: Change the contract lock mechanism

  Show description for 35df9d8
  Delja

  committed
  35df9d8

• contracts: Change the assertion lock mechanism

  Show description for 64fe967
  Delja

  committed
  64fe967

• tests: Add a test to show contracts in parallel execution

  Show description for 4375990
  Delja

  committed
  4375990