Project

General

Profile

Feature #10742

Allow to weave in models with their aspects

Added by Evgeny Novikov 5 months ago. Updated 5 months 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.

#1

Updated by Evgeny Novikov 5 months 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}
}]

#2

Updated by Evgeny Novikov 5 months ago

  • Status changed from Resolved to Closed

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

Also available in: Atom PDF