search for: verification

...code I write run more quickly/efficiently, I will be most grateful, as as this is currently written it would take what looks like days to run a thousand simulations of each possible combination of variables of interest. Best Ben Caldwell ----------------------------------------------- #unpaired verification.plots<-rnorm(30, 100, 10) # writeClipboard(as.character(verification.plots)) unpaired.test<- function(verification.plots, project.n, project.mean, project.sd, allowed.deviation, project.acres, alpha=.05){ verification.plots <-as.numeric(as.character(verification.plots)) a <- qnorm(alp...

...a customer from my order system and is supposed to return a shipping label back to the user. The problem is that i want to validate that the form is sending me all the required fieds using ActiveRecords validation rules, then I need to submit the address in the order via XML to an external address verification service, use that data to make any changes to the order and then submit the order to the shipper via XML and recieve back their response - interpret it and then display the shipping label to the end user if everything went through succesfully. So i could fail on ActiveRecord Validation - or either...

Hello, I want to use rsync to create backups. I think I need a verification that: 1) data is written to disk. 2) data is read back from disk. 3) verify the checksum of data. Does the automatic file verification in rsync works like this? Technically, I'd like to know how does we make step 2 read data from disk and not from file cache/buffer in OS? Or, do OS/harddrives a...

http://bugzilla.mindrot.org/show_bug.cgi?id=734 Summary: Misleading error message when host key verification is impossible / SSH_ASKPASS impossible. Product: Portable OpenSSH Version: 3.6.1p2 Platform: All OS/Version: Linux Status: NEW Severity: trivial Priority: P5 Component: ssh AssignedTo: opens...

...risking to miss adding verifiers in some of the LPPassManager’s. One similar idea is to introduce LCSSAVerifier function pass and make LCSSA pass to be dependant on it. That will allow me to check ‘getAnalysisIfAvaliable<LCSSAVerifier>’ inside of the LPPassManager and explicitly call LCSSA verification when it’s present. This feels a quite hacky, but in theory should work. — Igor On 14 Oct 2016, at 01:57, Mikhail Zolotukhin <mzolotukhin at apple.com> wrote: > Hi Igor, > > I like the second option more, and I think we can do something like this, or even more general. I'd sug...

Hi, I tried executing the rpm -V command on the packages of the CentOS 7.2 ISO which I have created, the verification failed for some of them. Here is the log for 'authconfig' : Steps: 1. Execute command : rpm -V authconfig 2. Observe the output Expected Result: If there is no error, nothing should be displayed Actual Result: Verification fails with following error log: S.5....T.c /etc/sysc...

Hi, I see some warnings like the following. Could anybody explains what they mean? Thanks. 19/31274477.pdf 257,169,119 0% 1.26MB/s 0:03:15 (xfr#121, to-chk=848309/1043298)WARNING: 18/32281577.pdf failed verification -- update retained (will try again). WARNING: 19/28879866.pdf failed verification -- update retained (will try again). -- Regards, Peng

...ither, but suggested as a potential workaround. >> >> One similar idea is to introduce LCSSAVerifier function pass and make LCSSA pass to be dependant on it. That will allow me to check ‘getAnalysisIfAvaliable<LCSSAVerifier>’ inside of the LPPassManager and explicitly call LCSSA verification when it’s present. This feels a quite hacky, but in theory should work. > We’ll always have to hack around something to pass a loop/list of loops to verify to the function pass. Instead, I think it would be easier to create a loop pass for LCSSAVerification and make all loop passes preserve it....

...ario is this: i have a cgi (on host1) that executes ssh (as userxyz) to a remote server (host2), executes a command to retrieve some data and outputs them to the local browser. on host1: #!/usr/bin/perl -w ... $output = `/usr/local/bin/ssh -l userxyz -x host2 ls -l` ... but i get "Host Key Verification failed" on my apache's error_log. i can do it on the command line, it only fails when i run it via the cgi. has somebody had this problem before? /don

Hello, I have script that I run remotely on a server, using ssh config with a 'command' call in the authorized keys file. I can successfully run this from one of my servers, but when I try from 2 other machines, I receive a Host Key Verification Failed error. When I remove the 'command' from the call from authorized keys on the remote server, I can successfully connect to the server. For security reasons, I do not want to do a direct connection to the server. I have removed the server name from the known_hosts file and still I...

I would like to know if anyone here knows the answer to the following question I need to implement the following conferencing feature for my agents. 1. Agent receives call from caller 2. Agent conferences a verification service 3. After finishing the verification, agent needs to drop third party (Verification service) and continue on the line with caller. My problem right now is being able to disconnect the third party and keeping the caller on the line. Would this be a function of Asterisk or the SIP...

Dear all, I'm happy to share a recent publication on a bounded model checker for concurrent programs represented in LLVM IR that integrates the verification framework that I'm developing: Marcelo Sousa, and Alper Sen, LLVMVF: A Generic Approach for Verification of Multicore Software. Journal of Electronic Testing: Theory and Applications, September 2013. ( http://rd.springer.com/article/10.1007/s10836-013-5405-9) Kind regards, Marcelo Sousa -----...

On 9/26/2017 6:11 PM, Matthias Braun wrote: > >> On Sep 26, 2017, at 2:39 PM, Geoff Berry via llvm-dev <llvm-dev at lists.llvm.org> wrote: >> >> Hi all, >> >> Mikael reported a machine verification failure in his out-of-tree target with the MachineCopyPropagation changes to forward registers (which is currently reverted). The verification in question is: >> >> *** Bad machine code: Multiple connected components in live interval *** >> - function: utils_la_suite_matmul_re...

...centos boxes (with keys). Now one of these boxes is a firewall, and another is a system behind the firewall. I have rules in my firewall to punch into the system behind the FW. Now if i connect to the IP (sine the public one is shared), anytime i connect to the other system, I get the host verification failed error and have to remove the IP from the known_hosts file. What is the best (secure) way to get around this? I know i can disable the check, but that is not my preferred way. Thanks. d

...antucci and I'm a software developer kicking around various wild ideas. (I wish I had something more interesting to say about myself than that, but nothing comes to mind; my day job is in SQL and Java, nothing to do with LLVM.) I am wondering whether anyone has tried using LLVM to apply formal verification to program code. I'm thinking about trying to develop tools that would leverage LLVM to check whether a program meets a design specification -- conservatively, I suppose, since knowing the full behavior of arbitrary programs is probably reducible to the halting problem but to my knowledge one c...

Hi, what does Centos 7 do with UPD packets having invalid checksums? Are such packets inevitably dropped? Does a network card drop them when it does checksum verification in hardware even before the packets go anywhere? In general, if someone were to send me UPD packets with invalid checksums over the internet, how far would such packets get? In particular, how likely it is that SRTP packets sent over the internet over UPD could be damaged in such a way that the...

https://bugzilla.mindrot.org/show_bug.cgi?id=1625 Summary: [PATCH] Make configuration of key verification from DNS easier Product: Portable OpenSSH Version: 5.2p1 Platform: Other OS/Version: Linux Status: NEW Severity: normal Priority: P2 Component: ssh AssignedTo: unassigned-bugs at mindrot.org...

Hi all, Mikael reported a machine verification failure in his out-of-tree target with the MachineCopyPropagation changes to forward registers (which is currently reverted). The verification in question is: *** Bad machine code: Multiple connected components in live interval *** - function: utils_la_suite_matmul_ref - interval: %vreg77...

...M, Matthias Braun wrote: >>>> On Sep 26, 2017, at 2:39 PM, Geoff Berry via llvm-dev >>>> <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote: >>>> >>>> Hi all, >>>> >>>> Mikael reported a machine verification failure in his out-of-tree >>>> target with the MachineCopyPropagation changes to forward registers >>>> (which is currently reverted).  The verification in question is: >>>> >>>> *** Bad machine code: Multiple connected components in live interval...

Hi all I have succesfully set up PPTP VPN access to my company using PoPToP/pppd (thank you Tom for excellent documentation), everything works fine so far. Problem is security. As I understand it, since PPTP ports trough tunnel are opened to whole Internet (have to be), access verification is now based only on username/password combination. Can level of security be raised with MAC verification? I found in shorewall documentation "MAC addresses are only visible within an ethernet segment so all MAC addresses used in verification must belong to devices physically connected to one...