Feature n7s tmcc#536 Added support for required synchronous interfaces in environment

requested review from @michal_kurowski

By Rafal Babski on 2024-05-23T14:06:18

assigned to @rbabski_n7s

By Rafal Babski on 2024-05-23T14:06:18

added 1 commit

• 5bfbc630 - IvToPromelaTranslator: fix of locks in environment proctype for synchronous calls

Compare with previous version

By Rafal Babski on 2024-05-23T14:30:10

added 1 commit

• 15e143a3 - Unit test for IvToPromelaTranslator, env with sync interface

Compare with previous version

By Rafal Babski on 2024-05-23T19:14:56

added 1 commit

• c94a7d11 - IvToPromelaTranslator: added test for sync interface in env, with limit

Compare with previous version

By Rafal Babski on 2024-05-23T19:31:44

added 1 commit

• 2e95dc3a - Added missing file for IvToPromelaTranslator test

Compare with previous version

By Rafal Babski on 2024-05-23T19:54:17

marked this merge request as ready

By Rafal Babski on 2024-05-23T19:55:01

added 1 commit

• af326ebc - Tmc: refactor in IvToPromelaTranslator and comment in Asn1ToPromelaTranslator

Compare with previous version

By Rafal Babski on 2024-05-24T13:10:49

added 1 commit

• 6d61b977 - Fix in TmcConverter with comment

Compare with previous version

By Rafal Babski on 2024-05-24T13:30:02

added 9 commits

• 6d61b977...e7ba45a8 - 2 commits from branch master
• 6cac1034 - TMC: Added support for required synchronous interfaces in environment
• acdf78dc - IvToPromelaTranslator: fix of locks in environment proctype for synchronous calls
• 034e4df7 - Unit test for IvToPromelaTranslator, env with sync interface
• 824c8701 - IvToPromelaTranslator: added test for sync interface in env, with limit
• 0ae95d6c - Added missing file for IvToPromelaTranslator test
• ca0279c6 - Tmc: refactor in IvToPromelaTranslator and comment in Asn1ToPromelaTranslator
• 5cbee128 - Fix in TmcConverter with comment

Compare with previous version

By Rafal Babski on 2024-05-24T13:30:55

approved this merge request

By Michal Kurowski on 2024-05-24T15:06:32

resolved all threads

By Michal Kurowski on 2024-05-24T15:06:34

added 1 commit

• 2362f078 - misspelling fix in comment

Compare with previous version

By Rafal Babski on 2024-05-24T16:04:34

merged