Project

General

Profile

Actions

Feature #10742

closed

Allow to weave in models with their aspects

Added by Evgeny Novikov over 1 year ago. Updated over 1 year ago.

Status:
Closed
Priority:
Urgent
Category:
Tasks generation
Target version:
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 #1

Updated by Evgeny Novikov over 1 year 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 #2

Updated by Evgeny Novikov over 1 year ago

  • Status changed from Resolved to Closed

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

Actions

Also available in: Atom PDF