Project

General

Profile

Actions
Copy link

Feature #10742

closed

Allow to weave in models with their aspects

Added by Evgeny Novikov about 3 years ago. Updated about 3 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
Tasks generation
Target version:
3.1
Start date:
03/05/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Sometimes, e.g. when models use macros from original program sources and these macros are instrumented by model aspects, it may be necessary to weave in models with their aspects. At the moment models are passed just through C back-end.

Actions
Copy link
 #1

Updated by Evgeny Novikov about 3 years ago

  • Status changed from New to Resolved

I implemented this in branch support-model-weaving. To leverage this one needs to write something like:

"models": [{
  "model": "linux/arch/mm/ioremap.c",
  "options": {"weave in model aspect": true}
}]

Actions
Copy link
 #2

Updated by Evgeny Novikov about 3 years ago

  • Status changed from Resolved to Closed

The branch passed tests, so, I merged the branch to master in 5446d51.

Actions
Copy link

Also available in: Atom PDF