代码搜索：proposition
找到约 45 项符合「proposition」的源代码
代码结果 45
www.eeworm.com/read/212845/15147686
cpp proposition.cpp
/***
*** See the file "mba/disclaimers-and-notices-L2.txt" for
*** information on usage and redistribution of this file,
*** and for a DISCLAIMER OF ALL WARRANTIES.
***/
/* $Id: proposition
www.eeworm.com/read/400374/11578234
vlib assert_proposition.vlib
// Accellera Standard V1.0 Open Verification Library (OVL).
// Accellera Copyright (c) 2005. All rights reserved.
`include "std_ovl_defines.h"
`module assert_proposition (reset_n, test_expr);
www.eeworm.com/read/234859/14095339
exe test_proposition.exe
www.eeworm.com/read/400374/11578195
v assert_proposition_logic.v
// Accellera Standard V1.0 Open Verification Library (OVL).
// Accellera Copyright (c) 2005. All rights reserved.
parameter assert_name = "ASSERT_PROPOSITION";
`include "std_ovl_task.h"
www.eeworm.com/read/400374/11578260
sv assert_proposition_logic.sv
// Accellera Standard V1.0 Open Verification Library (OVL).
// Accellera Copyright (c) 2005. All rights reserved.
parameter assert_name = "ASSERT_PROPOSITION";
`include "std_ovl_task.h"
www.eeworm.com/read/101082/6243526
1a l12.1a
#print
Another very useful command is the command
diff x y
which compares two files. It will not print
any output if the two files are the same, but
if the files are different it will print
out the
www.eeworm.com/read/101082/6243234
1b l12.1b
#print
This directory still has both files named 'harry'
and 'norman' in it. You checked that they were
the same with 'cat'. Now, for an easier time,
try 'diff'. If it doesn't report any difference
www.eeworm.com/read/101082/6243242
3a l12.3a
#print
Another thing about the 'w' command is that if you
just want to write a file and quit,
you can put the
w
q
on the same line, as in
wq
Make a copy of the file 'harry' in a file named 'norman
www.eeworm.com/read/101082/6243389
2a l12.2a
#print
Each 'w' command typed so far has written the edited material
back on the same file that it came from originally.
This can be changed by giving a filename on the 'w' command:
w camden
will wr
www.eeworm.com/read/101082/6243492
2c l12.2c
#print
This directory contains two files named "old" and "new";
What word is in one file but not the other? Find
out. Reply "answer WORD" where WORD is that word.
#create new
Four score and seven
ye