Home
last modified time | relevance | path

Searched refs:RV (Results 1 – 4 of 4) sorted by relevance

/tools/verification/rv/
A DMakefile27 RV := $(OUTPUT)rv macro
28 RV_IN := $(RV)-in.o
38 all: $(RV)
62 $(RV): $(RV_IN)
63 $(QUIET_LINK)$(CC) $(LDFLAGS) -o $(RV) $(RV_IN) $(EXTLIBS)
67 $(QUIET_LINK)$(CC) $(LDFLAGS) -o $(RV)-static $(RV_IN) $(EXTLIBS)
A DREADME.txt1 RV: Runtime Verification
3 Runtime Verification (RV) is a lightweight (yet rigorous) method that
11 Installing RV
13 RV depends on the following libraries and tools:
/tools/verification/rvgen/rvgen/templates/container/
A DKconfig2 depends on RV
/tools/verification/rvgen/rvgen/templates/
A DKconfig4 depends on RV

Completed in 26 milliseconds