Feature #7341
closedSupport checking of several rules with argument signatures
0%
Description
It is impossible to check 2 so called 'rerouter' rules at once (by means of common aspect regardless of a strategy - it can be even a simple Batch strategy).
The following exception occurs in RSG:
Raise exception:
Traceback (most recent call last):
File "/home/ubuntu/klever/core/core/components.py", line 94, in run
self.main()
File "/home/ubuntu/klever/core/core/utils.py", line 38, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/ubuntu/klever/core/core/avtg/rsg/__init__.py", line 34, in generate_rule_specification
self.add_models(generated_models)
File "/home/ubuntu/klever/core/core/utils.py", line 38, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/ubuntu/klever/core/core/avtg/rsg/__init__.py", line 60, in add_models
raise KeyError('Model C file "{0}" was not generated'.format(model_c_file[1:]))
KeyError: 'Model C file "linux/mutex.c" was not generated'
Updated by Evgeny Novikov about 8 years ago
- Assignee set to Evgeny Novikov
- Priority changed from Normal to High
Raise the priority as of the blocked issue.
Updated by Evgeny Novikov almost 8 years ago
- Status changed from New to Open
- Priority changed from High to Urgent
Looks to be the trivial issue that I will quickly fix.
Updated by Evgeny Novikov almost 8 years ago
- Status changed from Open to Closed
- Published in build set to 83897cd
Implemented in 83897cd in master.
Please, note that the format of files and descriptions of rule specifications requiring argument signatures was slightly changed.